/*
  S.M.A.C.K - An operating system kernel
  Copyright (C) 2010,2011 Mattias Holm and Kristian Rietveld
  For licensing and a full list of authors of the kernel, see the files
  COPYING and AUTHORS.
*/

#ifndef STDARG_H
#define STDARG_H

typedef __builtin_va_list va_list;

#define va_start(ap, last) (__builtin_va_start(ap,last))
#define va_arg(ap, type) (__builtin_va_arg(ap,type))
#define va_end(ap) (__builtin_va_end(ap))
#define va_copy(dest, src) (__builtin_va_copy(dest, src))

#endif /* !STDARG_H */

